288 XIV INTEGRATION IN LOCALLY COMPACT GROUPS
From the results of (14.9) we have, in particular:
(14.10.5) Suppose that f and g are locally p-integrable. If one of the functions
/, g is continuous, and if one has compact support, then f and g are convolvable,
the right-hand sides of (14.10.2) and (14.10.3) are defined for all x e G, and the
function f*g is continuous. If both f and g belong to Jfc(G), then so does
f*9-
This follows from (14.9.1) and (14.9.3).
(1 4.1 0.6) Let f be a f$-integrable function .
(i) For p = 1, 2 or +00, the function f is convolvable with every function
g e £&G9 P); the function f * g belongs to J2?£(G, 0); and
(14.10.6.1)
(ii) Ifp = + oo, andg e «S?g(G, j8), the integral
(xs-^ACs-1) dfts)
is defined for all xeG, and the function x\-+\f(xs~~1)g(s)A(s~'1)d{S(s) is
uniformly continuous with respect to every right-invariant distance on G.
(iii) Ifp = 1, we have
(14.10.6.2)
(iv) Ifg e *g(G), rten ^fao / * g e «g(G).
Parts (i) and (iv) follow from (14.9.2) and the relation \\f-0\\ = N^/)
(13.20.3). To prove (14.10.6.2), we remark that by virtue of (14.8.1.1) and
the fact that the function (s9 x)\-+g(x)f(s) is (0 ® jS)-integrable (13.21.14),
the function (s,x)\r+g(s~lx)f(s) is also (p ® jS)-integrable. The formula
(14.10.6.2) then comes immediately from the Lebesgue-Fubini theorem and
the left-invariance of p.
As to (ii), for each x e G the function sh-^Cs-"1*) belongs to 3?c(G), and
therefore the integral on the right-hand side of (14.10.2) is defined for all
x e G. If we put v = A"1 • /?, then v is a right Haar measure (14.3.4), and we
may write (14.10.3) in the form
,, f., _t
*)-j/(**e of bounded measures on G. Suppose that, for each function